metrization theorem of urysohn

烏里申度量化定理